Expression Value is Always Zero (EVAZ)

Description:

EVAZ detects that for the given operands the expression value is always zero. This can be caused by overflow for arithmetic operations, by shifting all significant bits in the shift operations, or clearing all bits by the bit AND operation.

Incorrect:

function align(val:integer):integer;
const alignment:integer = 1;
begin
    val := val + (alignment - 1);
    val := val - (val - 1) mod alignment;
    result := val;
end;